Ralph-Johan Back: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (11)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 5.96 MB

0 / 0

english, 2002

2

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 5.83 MB

0 / 0

english, 2006

3

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 4.48 MB

0 / 0

english, 2009

4

Transactions on Computational Systems Biology XIII

Transactions on Computational Systems Biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 3.27 MB

0 / 0

english, 2011

5

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Michael Johnson, Varmo Vene (eds.)

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 4.02 MB

0 / 0

english, 2006

6

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 6.11 MB

0 / 0

english, 2005

7

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 4.62 MB

0 / 0

english, 2009

8

Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction

Ralph-Johan Back, Joakim von Wright

Năm:

1998

Ngôn ngữ:

english

File:

PDF, 19.62 MB

0 / 0

english, 1998

9

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 2.49 MB

0 / 0

english, 2010

10

Transactions on computational systems biology XIII

Transactions on computational systems biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 3.25 MB

0 / 0

english, 2011

11

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 2.59 MB

0 / 0

english, 2010